Nuprl Definition : MaName
11,40
postcript
pdf
MaName == LocKnd + (
:Id
Id)
latex
Definitions
left
+
right
,
LocKnd
,
x
:
A
B
(
x
)
,
Id
FDL editor aliases
MaName
origin
Id) Id) B(x)